类型安全的能源管理:通过强大的数据完整性实施智能电网 | MLOG | MLOG